@@
statement S;
@@
* S
